Search AI Products and News

While most delivery automation systems are still stuck at the sidewalk, Rivr wants to bring robots directly to your doorstep. The robotics startup, headquartered in Zurich, is pilot testing a four-wheeled robot that can climb stairs with US logistics company Veho in Austin, Texas. This robot aims to solve the last tough part of end-to-end delivery: the final 100 yards. Designed to complete the most complex and physically demanding leg of the journey between Veho's van and the customer's door, this robot is being put through its paces by Rivr founder and CEO.

On April 24th, Kunlun Wanwei announced the official open-sourcing of its multimodal reasoning model, Skywork-R1V2.0 (hereinafter referred to as R1V2.0). This upgraded version demonstrates significant improvements in both visual and text reasoning capabilities, particularly excelling in deep reasoning for challenging science problems in the College Entrance Examination and general task scenarios. It is considered the currently most balanced open-source multimodal model, equally adept at visual and text reasoning.

On March 6, 2025, a new language model called **Light-R1-32B** was officially launched. Built upon the **Qwen2.5-32B-Instruct** model, this mathematical problem-solving tool, specially trained for exceptional mathematical abilities, low training costs, and reproducibility, is a significant highlight in the field of artificial intelligence. The development team xAI stated that Light-R1-32B not only surpasses similar models in performance but also provides significant benefits for academic research and practical applications.

Zhou Hongyi discusses the challenges posed by AI hallucinations and their implications for cybersecurity. He emphasizes the need for a balanced approach, neither downplaying nor overstating the risks involved.

Recently, an AI system developed by Google DeepMind—AlphaGeometry2—has successfully surpassed the average level of gold medalists at the International Mathematics Olympiad (IMO), demonstrating outstanding performance in solving geometry problems. AlphaGeometry2 is an upgraded version of the AlphaGeometry system released by DeepMind last year. According to the latest research from the research team, this system can solve 84% of the geometry problems from the IMO over the past 25 years.

In the United States, despite the apparent benefits of recycling, the recycling rate has stagnated in recent years. To address this challenge, AMP Robotics has launched an AI system called AMP ONE to help waste processing plants sort garbage more efficiently. Recently, the company completed a $91 million Series D funding round to further advance the adoption of this technology. Image source note: Image generated by AI, image licensed from MidjourneyAMP Robotics.

The Alibaba International AI team has recently released a new reasoning model called Marco-o1, which focuses on solving open-ended questions, extending beyond traditional subjects with standard answers such as programming and mathematics. The research team is dedicated to exploring whether such models can be effectively adapted to fields that are difficult to quantify and lack clear rewards.

At the 2024 World Baidu Conference, Baidu founder Li Yanhong presented a series of eye-catching advancements in the field of AI. He pointed out that the most significant breakthrough in large model technology over the past two years has been the basic resolution of the 'illusion' problem, marking a qualitative leap in the accuracy of AI responses, transforming it from 'seriously spouting nonsense' to a reliable intelligent assistant. At the conference, Li Yanhong emphasized Baidu's latest retrieval-augmented generation technology, iRAG, which innovatively integrates the vast image resources accumulated by Baidu's search platform and advanced techniques.

TuSimple addressed recent concerns and rumors at a press conference today, with Chen Mo, Lv Cheng, and Hao Jianan stating that the company's business direction change is a normal business activity, without any involvement in fraud or benefit transfer. It has been reported that TuSimple is recently entering the AIGC field and has announced the acquisition of the IP for 'The Three-Body Problem,' planning to develop a series of animated feature films and video games based on it. Chen Mo emphasized that the founding purpose of the Ink Wash Hero Company is my personal interest and love for martial arts, anime, and games, and that the company has continued to operate independently from TuSimple Group since its establishment.

A group of amateur enthusiasts successfully verified that the fifth number BB(5) of the Busy Beaver problem equals 47,176,870 using the Coq proof assistant software. This is the most significant advancement in the field of computational theory since 1983. This achievement marks an enhancement in the ability to solve complex mathematical problems, demonstrating the potential of software-assisted proof. The Busy Beaver problem dates back to 1974 and aims to find the specific Turing machines that can write the most '1's. The core of the problem lies in understanding the behavior of Turing machines, particularly their performance regarding the halting problem. This discovery not only contributes to

In an interview with The Verge, Bill Gates expressed an optimistic attitude towards artificial intelligence (AI), believing that AI applications in health and education will have positive implications in the short term, particularly providing personalized tutoring to enhance student motivation. He emphasized that AI technology is beneficial to society as a whole, but also warned of potential misuse risks and called for proper guidance. Regarding climate change, Gates supports nuclear energy as a solution, highlighting the importance of finding clean energy. On the potential threats of AI, he pointed out that some criminals might misuse it.

Aliyun has launched the Qwen2-Math series of large language models, focusing on mathematical problem-solving abilities that surpass existing open-source models and rival well-known closed-source models, including GPT-4, Claude-3.5-Sonnet, Gemini-1.5-Pro, and Llama-3.1-405B. This series is based on the Qwen2 model, which has undergone deep pre-training on a specialized mathematical corpus that includes mathematical web texts, professional books, code examples, and exam questions, as well as data autonomously generated by Qwen2.

In this era of information explosion, content creators are extremely busy. According to a survey, most creators spend more than 20 hours per week producing new content for their niche. As a result, the time left for them to interact with their fans is minimal. However, Mark Zuckerberg, the head of Meta, believes that artificial intelligence (AI) could be the "lifeline" to solve this problem.Image source note: Image generated by AI, image authorized service provider MidjourneyRecently, Zuckerberg